A New Backoff Algorithm for MAC Protocol in MANETs
نویسندگان
چکیده
Business and social life have become increasingly dependent on largescale communication and information systems. A partial or complete breakdown as a consequence of natural disasters or purposeful attacks might have severe impacts. Survivability refers to the ability of a system to recover from such disaster circumstances. Evaluating survivability should therefore be an important part of communication and information system design. In this paper we take a model checking approach toward assessing survivability. We use the logic CSL to phrase survivability in a precise manner. The system operation is modelled through a labelled CTMC. Model checking algorithms can then decide automatically whether the system is survivable. We illustrate our method by evaluating the survivability of the Google file system using stochastic Petri nets in combination with CSL model checking.
منابع مشابه
On backoff mechanisms for wireless Mobile Ad Hoc Networks
Since their emergence within the past decade, which has seen wireless networks being adapted to enable mobility, wireless networks have become increasingly popular in the world of computer research. A Mobile Ad hoc Network (MANET) is a collection of mobile nodes dynamically forming a temporary network without the use of any existing network infrastructure. MANETs have received significant atten...
متن کاملAdaptive Backoff Algorithm for IEEE 802.11 MAC Protocol
A Mobile Ad Hoc Network (MANET) is a collection of mobile nodes that can communicate directly over wireless media, without the need for a pre-configured infrastructure. Several approaches have been suggested to improve Quality of Service (QoS) in IEEE 802.11-based MANETs through modifying some of the IEEE 802.11 Medium Access Control (MAC) algorithms, such as the backoff algorithm that is used ...
متن کاملOn a Modified Backoff Algorithm for MAC Protocol in MANETs
In wireless communication environments, backoff is traditionally based on the IEEE binary exponential backoff (BEB). Using BEB results in a high delay in message transmission, collisions, and ultimately wasting the limited available bandwidth. As each node has to obtain medium access before transmitting a message, in dense networks, the collision probability in the medium access control (MAC) l...
متن کاملOn the Logarithmic Backoff Algorithm for MAC Protocol in MANETs
In wireless communication environments, backoff is traditionally based on the IEEE binary exponential backoff (BEB). Using BEB results in a high delay in message transmission, collisions and ultimately wasting the limited available bandwidth. As each node has to obtain medium access before transmitting a message, in dense networks, the collision probability in the MAC layer becomes very high wh...
متن کاملAbstract: The Binary Exponential Backoff (BEB) is used by IEEE 802
The Binary Exponential Backoff (BEB) is used by IEEE 802.11 Medium Access Control (MAC). BEB uses a uniform random distribution to choose the backoff value, that often leads to reducing the effect of window size increment. This technical report introduces a modified logarithmic backoff algorithm that uses logarithmic increment instead of exponential extension of window size to eliminate the deg...
متن کاملImproving Transport Protocol Performance in MANET by exploiting the Backoff Algorithm of MAC Protocol
In this paper, we propose an improvement to the transport protocol performance in Mobile Ad Hoc Network (MANET) by exploiting the backoff algorithm of Medium Access Control (MAC) protocol. We are especially interested in the TCP (Transmission Control Protocol) performance parameters like the throughput and end-to-end delay. This improvement is IB-MAC (Improvement of Backoff algorithm of MAC pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005